Algebra Diagrams: A HANDi Introduction
نویسنده
چکیده
A diagrammatic notation for algebra is presented – Hierarchical Algebra Network Diagrams, HANDi. The notation uses a 2D network notation with systematically designed icons to explicitly and coherently encode the fundamental concepts of algebra. The structure of the diagrams is described and the rules for making derivations are presented. The key design features of HANDi are discussed and compared with the conventional formula notation in order demonstrate that the new notation is a more logical codification of intro-
منابع مشابه
Slicing Planar Grid Diagrams: a Gentle Introduction to Bordered Heegaard Floer Homology
We describe some of the algebra underlying the decomposition of planar grid diagrams. This provides a useful toy model for an extension of Heegaard Floer homology to 3-manifolds with parametrized boundary. This paper is meant to serve as a gentle introduction to the subject, and does not itself have immediate topological applications.
متن کاملA relationship between sequence and statechart diagrams
This paper is an introduction to an easy way to formalise sequence diagrams and verify coherence with the statechart diagrams, with the pi-calculus that is a process algebra where processes interact by sending communication links to each other.
متن کاملSubpullbacks and Po-flatness Properties of S-posets
In (Golchin A. and Rezaei P., Subpullbacks and flatness properties of S-posets. Comm. Algebra. 37: 1995-2007 (2009)) study was initiated of flatness properties of right -posets over a pomonoid that can be described by surjectivity of corresponding to certain (sub)pullback diagrams and new properties such as and were discovered. In this article first of all we describe po-flatness propertie...
متن کاملAlgebraic structures on modules of diagrams
There exists a graded algebra Λ acting in a natural way on many modules of 3valent diagrams. Every simple Lie superalgebra with a nonsingular invariant bilinear form induces a character on Λ. The classical and exceptional Lie algebras and the Lie superalgebra D(2, 1, α) produce eight distinct characters on Λ and eight distinct families of weight functions on chord diagrams. As a consequence we ...
متن کاملIntroduction to Redberry: the computer algebra system designed for tensor manipulation
In this paper we introduce Redberry — an open source computer algebra system designed to manipulate with symbolic tensorial expressions. It implements basic computer algebra system routines as well as complex tools for real computations in physics. Redberry core provides common for majority of computer algebra systems tools for expressions manipulation, generalized on tensorial objects, as well...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012